Instance-based Non-standard Inferences in EL with Subjective Probabilities

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities

a r t i c l e i n f o a b s t r a c t Article history: Available online xxxx Description Logics (DLs) are a well-established family of knowledge representation formalisms. One of its members, the DL ELOR has been successfully used for representing knowledge from the bio-medical sciences, and is the basis for the OWL 2 EL profile of the standard ontology language for the Semantic Web. Reasoning ...

A Logic For Inductive Probabilistic Reasoning

Inductive probabilistic reasoning is understood as the application of inference patterns that use statistical background information to assign (subjective) probabilities to single events. The simplest such inference pattern is direct inference: from “70% of As are Bs” and “a is an A” infer that a is a B with probability 0.7. Direct inference is generalized by Jeffrey’s rule and the principle of...

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals

Completion-based algorithms can be employed for computing the least common subsumer of two concepts up to a given role-depth, in extensions of the lightweight DL EL. This approach has been applied also to the probabilistic DL Prob-EL, which is variant of EL with subjective probabilities. In this paper we extend the completion-based lcscomputation algorithm to nominals, yielding a procedure for ...

Decision Making under Uncertainty and Subjective Probabilities

This paper presents two axiomatic models of decision making under uncertainty that avoid the use of a state space. The first is a subjective expected utility model with action-dependent subjective probabilities and effect-dependent preferences (the case of effect-independent preferences is obtained as a special instance). The second is a nonexpected utility model involving well-defined families...

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities